Formal Semantics

Grammatical Agency

Languages / Philosophy Of Language / Languages and Linguistics / Computational Linguistics / English language / Formal syntax / Systemic Functional Linguistics / Cognitive Linguistics / Linguistics / Theoretical Linguistics / Formal Semantics / English language and linguistics / Linguistic Typology / Lingüística / Generative linguistics / Transformational and Generative Grammar / Generative grammar / Generative Syntax / Formal syntax / Systemic Functional Linguistics / Cognitive Linguistics / Linguistics / Theoretical Linguistics / Formal Semantics / English language and linguistics / Linguistic Typology / Lingüística / Generative linguistics / Transformational and Generative Grammar / Generative grammar / Generative Syntax

Download

Sobre a semântica de QUALQUER

Download

A formal approach to system level design: metamodels and unified design environments

Computer Architecture / Computational Modeling / Systems Analysis / Hardware/Software Co-Design / Formal Semantics / Space Exploration / Hardware / Formal Specification / Process Design / Design Methodology / Logic Language / System-level design / Logic Design / Platform Based Design / Space Exploration / Hardware / Formal Specification / Process Design / Design Methodology / Logic Language / System-level design / Logic Design / Platform Based Design

Download

SchemaSQL: An extension to SQL for multidatabase interoperability

Information Systems / Information Integration / Formal Semantics / Semantic Heterogeneity / Data Format

Download

A formal approach to system level design: Metamodels and unified design environments

Hardware/Software Co-Design / Formal Semantics / System-level design / Platform Based Design

Download

Preferential semantics for goals

Decision Theory / Formal Semantics / AI Planning / Second Order / Heuristic Evaluation / Boolean Satisfiability

Download

Preferential Semantics for Goals

Decision Theory / Formal Semantics / AI Planning / Second Order / Heuristic Evaluation / Boolean Satisfiability

Download

Checking UML model consistency

Model Checking / Formal Semantics / Model validation / Object Oriented Software Modeling / Class Diagram / Test Case Generation / Design and Development / Boolean Satisfiability / Test Case Generation / Design and Development / Boolean Satisfiability

Download

Quantum logic as a dynamic logic

Philosophy / Quantum Mechanics / Formal Semantics / Quantum Logic / Classical Logic / Dynamic Logic / Quantum Dynamics / Synthese / Dynamic Logic / Quantum Dynamics / Synthese

Download

Ten choices for lexical semantics

Cognitive Science / Computational Intelligence / Lexical Semantics / Formal Semantics / Generative Lexicon

Download

Ten Choices for Lexical Semantics

Cognitive Science / Computational Intelligence / Lexical Semantics / Formal Semantics / Generative Lexicon / Comparative Analysis

Download

WITTGENSTEIN: MÍSTICA, FILOSOFÍA Y SILENCIO; NOTAS SOBRE ESTÉTICA, PSICOLOGÍA Y ÉTICA

Critical Theory / Discourse Analysis / Semiotics / Religion / Comparative Religion / Sociology / Sociology of Religion / Psychology / Cognitive Psychology / Psychoanalysis / Social Psychology / Mathematics / Logic And Foundations Of Mathematics / Modal Logic / Comparative Literature / Game Theory / Anthropology / Philosophy / Philosophy of Mind / Philosophy Of Language / Ethics / Game studies / Philosophy Of Religion / Applied Ethics / Moral Psychology / Education / Logic / Social Work / Semantic Web Technologies / Languages and Linguistics / Social Sciences / Theology / Architecture / Semantics / Literature / Philosophy Of Mathematics / Sociolinguistics / Practical theology / Systematic Theology / Philosophical Theology / Linguistic Anthropology / Cognitive Semantics / Contemporary Art / Religion and Politics / Educational Psychology / Social and Cultural Anthropology / Spirituality / Fuzzy Logic / Cultural Theory / Christian Mysticism / Psychology of Religion / Theory of Mind / Phenomenological Psychology / Hermeneutics / Phenomenology / Theological Hermeneutics / Orthodox Theology / Syntax / Mysticism / Applied Linguistics / Literary Theory / Silence / Anthropology Of Art / Friedrich Nietzsche / Martin Heidegger / Comparative Linguistics / Philosophy of Mathematics Education / Theology and Culture / Biblical Theology / Philosophical Logic / Spirituality & Mysticism / Philosophy of Logic / Cognitive Linguistics / Lexical Semantics / Peter Sloterdijk / Wittgenstein / Political Theology / Architectural Theory / Hermeneutics and Narrative / Grammaticalization / Hermeneutic Phenomenology / Linguistics / Semantic Web technology - Ontologies / Syntax-Semantics Interface / Bertrand Russell / Semantic Web / Moral Philosophy / Tractatus Logico-Philosophicus / Cognitive Neuroscience / Rudolf Carnap / Filosofia Del Lenguaje / Formal Semantics / Gottlob Frege / Contemporary Philosophy / Lingüística / Kantian ethics / Religious Studies / Filosofía / Filosofia contemporanea / Fenomenología / Ética / Filosofia Analitica / Cristianismo / Grammar / Hermenéutica / Metafísica / Linguistics. Word-formation. Morphology. Lexicology. Semantics. / Didáctica lenguaje / Syntactic and Semantic Knowledge / Sintaxis / Anthropology of Religion / Anthropology of Arts / Filosofia / Sociology / Sociology of Religion / Psychology / Cognitive Psychology / Psychoanalysis / Social Psychology / Mathematics / Logic And Foundations Of Mathematics / Modal Logic / Comparative Literature / Game Theory / Anthropology / Philosophy / Philosophy of Mind / Philosophy Of Language / Ethics / Game studies / Philosophy Of Religion / Applied Ethics / Moral Psychology / Education / Logic / Social Work / Semantic Web Technologies / Languages and Linguistics / Social Sciences / Theology / Architecture / Semantics / Literature / Philosophy Of Mathematics / Sociolinguistics / Practical theology / Systematic Theology / Philosophical Theology / Linguistic Anthropology / Cognitive Semantics / Contemporary Art / Religion and Politics / Educational Psychology / Social and Cultural Anthropology / Spirituality / Fuzzy Logic / Cultural Theory / Christian Mysticism / Psychology of Religion / Theory of Mind / Phenomenological Psychology / Hermeneutics / Phenomenology / Theological Hermeneutics / Orthodox Theology / Syntax / Mysticism / Applied Linguistics / Literary Theory / Silence / Anthropology Of Art / Friedrich Nietzsche / Martin Heidegger / Comparative Linguistics / Philosophy of Mathematics Education / Theology and Culture / Biblical Theology / Philosophical Logic / Spirituality & Mysticism / Philosophy of Logic / Cognitive Linguistics / Lexical Semantics / Peter Sloterdijk / Wittgenstein / Political Theology / Architectural Theory / Hermeneutics and Narrative / Grammaticalization / Hermeneutic Phenomenology / Linguistics / Semantic Web technology - Ontologies / Syntax-Semantics Interface / Bertrand Russell / Semantic Web / Moral Philosophy / Tractatus Logico-Philosophicus / Cognitive Neuroscience / Rudolf Carnap / Filosofia Del Lenguaje / Formal Semantics / Gottlob Frege / Contemporary Philosophy / Lingüística / Kantian ethics / Religious Studies / Filosofía / Filosofia contemporanea / Fenomenología / Ética / Filosofia Analitica / Cristianismo / Grammar / Hermenéutica / Metafísica / Linguistics. Word-formation. Morphology. Lexicology. Semantics. / Didáctica lenguaje / Syntactic and Semantic Knowledge / Sintaxis / Anthropology of Religion / Anthropology of Arts / Filosofia

Download

Boolean Semantics and Categorial Polyvalency

Formal Semantics / Boolean Algebra / Boolean Satisfiability

Download

Algebraic separation logic

Algebra / Formal Semantics / Mathematical Sciences / Separation Logic / First-Order Logic / Programming language

Download

Obvia et Impera! A case for \'perspectival control\' in directive clauses

Semantics / Syntax-Semantics Interface / Formal Semantics / Minimalist Syntax / Morphology and Syntax / Slovenian / Subjunctive mood / Generative Syntax / Imperatives / Slovenian Linguistics / Slovenian Language / Semantics of Speech Reports / Disjoint Reference / Subject Obviation / performative modals / Slovenian / Subjunctive mood / Generative Syntax / Imperatives / Slovenian Linguistics / Slovenian Language / Semantics of Speech Reports / Disjoint Reference / Subject Obviation / performative modals

Download